package algoU11A1;

//Aufgabe 1:
//Implementieren Sie die RoBDDs und fügen Sie noch Funktionen für
//Konjunktion, Disjunktion, Negation, Implikation und Äquivalenz hinzu.
//Variablen sollen nicht mehr durch Zahlen sondern durch Namen repräsentiert
//werden. Dazu sollten Sie eine weitere Hashtabelle einführen, die die Namen auf
//die Variablenintegerwerte abbildet.

public class U11A1 {

}
